nLab Philip Wadler

• webpage

Selected writings

On linear type theory:

• Philip Wadler, Linear Types can Change the World!, Programming concepts and methods 3, North Holland (1990) [pdf]

On monads in computer science:

• Philip Wadler, Comprehending Monads, in Conference on Lisp and functional programming, ACM Press (1990) [pdf, doi:10.1145/91556.91592]

• Philip Wadler, Monads for functional programming, in M. Broy (eds.) Program Design Calculi NATO ASI Series, 118 Springer (1992) [doi;10.1007/978-3-662-02880-3_8, pdf]

• Philip Wadler, The essence of functional programming, POPL ‘92: Principles of programming languages (1992) 1-14 [doi:10.1145/143165.143169, pdf]

Introducing the IO-monad (then adopted in Haskell):

• Simon L. Peyton Jones, Philip Wadler, Imperative functional programming, Principles of programming languages (1993) 71–84 [doi:10.1145/158511.158524, pdf]

On syntax and categorical semantics of linear logic with an exponential modality:

• Philip Wadler, A syntax for linear logic, in: Ninth International Coference on the Mathematical Foundations of Programming Semantics, Lecture Notes in Computer Science 802 Springer (1993) [doi:10.1007/3-540-58027-1_24]

On the history of the development of the Haskell programming language:

• Paul Hudak, John Hughes, Simon Peyton Jones, Philip Wadler, A history of Haskell: being lazy with class, History of Programming Languages (2007) 12-1 - 12-55 [doi:10.1145/1238844.1238856]

On concurrency (cf. pi-calculus) and linear logic:

• Philip Wadler: Propositions as Sessions,

  ACM SIGPLAN Notices 47 9 (2012) 273 - 286 [doi:10.1145/2398856.2364568, pdf]

  Journal of Functional Programming 24 2-3 ICFP 2012 (2014) 384-418 [doi:10.1017/S095679681400001X]

On propositions as types:

• Philip Wadler, Propositions as Types, Communications of the ACM 58 12 (2015) 75–84 [doi:10.1145/2699407, pdf, video]

Related entries

• monad (in computer science)

• adjoint logic

category: people